Function ^_Df>=0-Dfa

Part of:

package lisplab
( ^_df>=0-dfa < a > < b > < c > )